🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

How Many Paths of Length K Are There Between a and B?
horace.io·5h·
Discuss: Hacker News
🕸️Graph Theory
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·13h·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Deep Think with Confidence
arxiviq.substack.com·10h·
Discuss: Substack
🎲Probabilistic Programming
busy beaver function
ncatlab.org·1d
🔄Category Theory
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Q3 2025 Funding Announcement
clojuriststogether.org·2d
🔧Compiler Design
This is amazing. But I'm a bit more extreme than Maxime.
threadreaderapp.com·4h
🔧Compiler Design
Making Illegal States Unrepresentable in Kotlin
dev.to·3d·
Discuss: DEV
⚙Functional Programming
Made a one piece knowledge benchmark
reddit.com·8h·
Discuss: r/artificial
🧩Theorem Proving
JavaScript lib for exchanging selective disclosure proofs
github.com·1d·
Discuss: Hacker News
🤝Protocol Design
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·2d
🎯Constraint Programming
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·3h·
Discuss: Hacker News
🔧Compiler Design
How LLMs Learn to Solve Complex Math
hackernoon.com·1d
🧩Theorem Proving
Articles - ACM Queue
queue.acm.org·1d
🔧Compiler Design
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·1d·
Discuss: Hacker News, r/cpp
🧠Memory Management
Hyper-Wordle strategies
chriskw.xyz·9h·
Discuss: Hacker News
🔗Parser Combinators
Cargo Build, Cargo Doom
reddit.com·18h·
Discuss: r/rust
🦀Rust
A systematic review of transformers and large language models in the energy sector: towards agentic digital twins
sciencedirect.com·11h
🎲Probabilistic Programming
CRYSTALS - The Gently Introduction
dev.to·3d·
Discuss: DEV
🔐Cryptography